Vectorial Proteomics

Pharmaceutical Advances and Proteomics Researches

Proteomics enables understanding the composition, structure, function and interactions of the entire protein complement of a cell, a tissue, or an organism under exactly defined conditions. Some factors such as stress or drug effects will change the protein pattern and cause the present or absence of a protein or gradual variation in abundances. Changes in the proteome provide a snapshot of the...

The vectorial λ-calculus

We describe a type system for the linear-algebraic λ-calculus. The type system accounts for the linear-algebraic aspects of this extension of λ-calculus: it is able to statically describe the linear combinations of terms that will be obtained when reducing the programs. This gives rise to an original type theory where types, in the same way as terms, can be superposed into linear combinations. ...

Normality of Vectorial Functions

The most important building blocks of symmetric cryptographic primitives such as the DES or the AES, are vectorial Boolean functions, also called S-boxes. In this paper, we extend the definition of normality for Boolean functions into several new affine invariant properties for vectorial Boolean functions. We compute the probability of occurrence of these properties and present practical algori...

Vectorial Pattern Databases

In this work, a new approach for creating Pattern Databases (PDBs) is suggested that induces non-consistent heuristic functions just by recognizing feasible (yet admissible) heuristic values. This approach serves to generalize even further the BPMX propagation rule, that will work now even in directed graphs. Experiments in different state spaces show a noticeable improvement over the Scalar Pa...

Vectorial fast correlation attacks